An object $X$ of a category $mathbf{C}$ with finite limits is called exponentiable if the functor $-times X:mathbf{C}rightarrow mathbf{C}$ has a right adjoint. There are many characterizations of the exponentiable  spaces in the category $mathbf{Top}$ of topological spaces. Here, we study the exponentiable objects in the category $mathbf{STop}$ of soft topological spaces which is a generalizati...

an object $x$ of a category $mathbf{c}$ with finite limits is called exponentiable if the functor $-times x:mathbf{c}rightarrow mathbf{c}$ has a right adjoint. there are many characterizations of the exponentiable  spaces in the category $mathbf{top}$ of topological spaces. here, we study the exponentiable objects in the category $mathbf{stop}$ of soft topological spaces which is a generalizati...

We study exponentiability of homomorphisms in varieties of universal algebras close to classical ones. After describing an “almost folklore” general result, we present a purely algebraic proof of “étale implies exponentiable”, alternative to the topologically motivated proof given in one of our previous papers, in a different context. We prove that only isomorphisms are exponentiable homomorphi...

The purpose of this work is to complete the algebraic foundations of second-order languages from the viewpoint of categorical algebra as developed by Lawvere. To this end, this paper introduces the notion of second-order algebraic theory and develops its basic theory. A crucial role in the definition is played by the second-order theory of equality M, representing the most elementary operators ...

We prove that unary formal topologies are exponentiable in the category of inductively generated formal topologies. From an impredicative point of view, this means that algebraic dcpos with a bottom element are exponentiable in the category of open locales.

Lax monoidal powerset-enriched monads yield a monoidal structure on the category of monoids in the Kleisli category of a monad. Exponentiable objects in this category are identified as those Kleisli monoids with algebraic structure. This result generalizes the classical identification of exponentiable topological spaces as those whose lattice of open subsets forms a continuous lattice.

Given a map f in the category ω-Cpo of ω-complete posets, exponentiability of f in ω-Cpo easily implies exponentiability of f in the category Pos of posets, while the converse is not true. We find then the extra conditions needed on f exponentiable in Pos to be exponentiable in ω-Cpo, showing the existence of partial products of the two-point ordered set S = {0 < 1} (Theorem 1.8). Using this ch...

We prove a general theorem relating pseudo-exponentiable objects of a bicategory K to those of the Kleisli bicategory of a pseudo-monad on K. This theorem is applied to obtain pseudo-exponentiable objects of the homotopy slices Top//B of the category of topological spaces and the pseudo-slices Cat//B of the category of small categories.

For a small category B and a double category D, let LaxN (B,D) denote the category whose objects are vertical normal lax functors B //D and morphisms are horizontal lax transformations. It is well known that LaxN (B,Cat) ≃ Cat/B, where Cat is the double category of small categories, functors, and profunctors. In [19], we generalized this equivalence to certain double categories, in the case whe...